1、[数]约束变量
使用方法参照的动机就是要有这样一个类型，这个类型能包含约束变量（bound variables），正如著名的闭包值。由于闭包闭合于其定义的环境，包括在定义点的局部变量引用，它们有必须确定的状态。
2、受限变量
... binary state variable 二态变量 bound variable 受限变量,约束变量 complex variable 复变函数 ...
3、约束变词
... backward difference后向差分 bound variable约束变词 biregular双正则的 ...
4、[数]约束变项
假如存在物不成为约束变项(bound variable)的值，没有函项(function)作为约束，就往往是有本无体。
Bound of variable变元的约束
bound d variable受限变量
bound decision variable约束决策变量
Bound-variable约束变元
Bound variable clash自由变量和约束变量
variable bound可变上下界;[数] 变量约束
bound occurrence of a variable变量的约束出现
Type Variable Bound类型变量界定